Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
|
1. | Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle. | 1995 |
|
2. | Time and logic : a computational approach / edited by Leonard Bolc & Andrzej Szalas. | 1995 |
|